package com.jpetrinet.lowlevel;

public class Place extends com.jpetrinet.core.Place {

	private PTMarking marking;

	public PTMarking getMarking() {
		return marking;
	}

	public void setMarking(PTMarking initialMarking) {
		this.marking = initialMarking;
	}
	
	public Place(String id, PTMarking initialMarking) {
		super(id);
		this.setMarking(initialMarking);
	}
}
